In a finite group, the number of elements of order
d
is divisible by
φ(
d)
.